isrcv($k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isl($k$)